/*
 * temp_for_compile.c - temp file for compiling, to fix..
 *
 * Copyright (C) 2016-2018, LomboTech Co.Ltd.
 * Author: lomboswer <lomboswer@lombotech.com>
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License along
 * with this program; if not, write to the Free Software Foundation, Inc.,
 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
 */

#ifdef __EOS__

#include <rtthread.h>
#include "ei_os.h"
#include "os_mem.h"

int os_seq_printf(os_proc_entry_t *entry, const char *fmt, ...);
os_dev_t *os_device_create(const char *name);
int os_device_destroy(os_dev_t *pdev);
int os_device_register(os_dev_t *pdev);
void os_device_deregister(os_dev_t *pdev);
void os_poll_wait(os_poll_t *table, os_wait_t *wait);
void os_gettimestamp(os_timeval_t *tv);
os_hdl os_mem_block_alloc(const char* name, unsigned long size,
	unsigned long align, unsigned long gfp);
unsigned long os_mem_block_phys(os_hdl hdl);
void os_mem_block_free(os_hdl hdl);
void os_mem_block_free_by_phys(unsigned long phys_addr);
void *os_mem_block_map_kernel_cache(os_hdl hdl);
void *os_mem_block_map_kernel_noncache(os_hdl hdl);
void os_mem_block_unmap_kernel(os_hdl hdl);
void os_mem_unmap_kernel(void *kvrit_addr);
void *os_mem_map_kernel_cache(unsigned long phys_addr, int nbytes);
void *os_mem_map_kernel_noncache(unsigned long phys_addr, int nbytes);

#endif /* __EOS__ */

